1. Graph structure and monadic second-order logic :
پدیدآورنده : Bruno Courcelle, Joost Engelfriet
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Graphic methods
رده :
QA9
.
C748
2012
2. Graph structure and monadic second-order logic : a language-theoretic approach
پدیدآورنده : Courcelle, Bruno
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Graphic methods ، Logic, Symbolic and mathematical
رده :
QA
9
.
C68G7
